update to latest texinfo.tex
authorKarl Berry <karl@gnu.org>
Sat, 30 Sep 2006 00:35:15 +0000 (00:35 +0000)
committerKarl Berry <karl@gnu.org>
Sat, 30 Sep 2006 00:35:15 +0000 (00:35 +0000)
commite7c1aa797489f5a4ad8f0bc622dfe47a6063a097
treede0d290d07761ccec57e000d4d18dad2ecbbe48c
parent6403c21b689b7d78c1d95b619c60ddcadfe45e3c
update to latest texinfo.tex
man/texinfo.tex